function letterの例文

例文

1. Allowing monadic function letters changes the logic only superficially, whereas admitting even a single binary function letter results in an undecidable logic.
2. Allowing monadic function letters changes the logic only superficially, whereas admitting even a single binary function letter results in an undecidable logic.
3. The formal system described above is sometimes called the "'pure "'monadic predicate calculus, where " pure " signifies the absence of function letters.
4. Again, we might define a first-order language "'L "', as consisting of individual symbols a, b, and c; predicate symbols F, G, H, I and J; variables x, y, z; no function letters; no sentential symbols.